-- Test missing :
    DEF def(X:nat, Y:nat,x):nat == 0  	--missing :
    DEF MAIN:bool == true
